A Functional Action Language Front-End
نویسنده
چکیده
In this paper we extend the notation of functional logic programs introduced in [1] by: (i) describing a formal translation of nested function references; (ii) dealing with set terms in the rule heads to allow non-determinism; and (iii) introducing high level constructions for representing action domains. The semantics we consider in this work, both for functional logic programs and for the actions language, just consists in a translation into (non-ground) logic programs under the answer sets semantics.
منابع مشابه
Translation Quality and Awareness of Functional Translation Theories
The present article reports a study carried out to investigate whether or not awareness of functional translation theories has any impact on the translation quality of translator trainees. 2oo Iranian undergraduate students took part in this study. They were divided into four groups -two- experimental and two control groups. After homogenizing the participants by a TOEFL test, a translation pre...
متن کاملImplementation of Low-Cost Architecture for Control an Active Front End Rectifier
In AC-DC power conversion, active front end rectifiers offer several advantages over diode rectifiers such as bidirectional power flow capability, sinusoidal input currents and controllable power factor. A digital finite control set model predictive controller based on fixed-point computations of an active front end rectifier with unity displacement of input voltage and current to improve dynam...
متن کاملChallenges of Action Research: Insights From Language Institutes
Action research is a small-scale intervention in the functioning of the real world to address practitioners’ own issues and carry out a close examination of the effects of such an intervention. Classroom-based research, or action research, can be the viable solution to some pandemic academic sluggishness and scientific apathy. However, the erroneous impression that research is an elite discipli...
متن کاملA Front End for CONSUL
CONSUL is a prototype constraint language for programming multiprocessors. In this paper we present a front end for CONSUL that makes the language easier to use than it originally was. The most important features of the front end are compact representation of constraints, type deenitions, functional use of relations, and the ability to split programs into multiple les.
متن کاملFrom Importer of Knowledge to Researcher of the Self: Exploring the Utility of Collaborative Action Research in Distance Second Language Professional Development
Teacher professional development, as a burgeoning term, has attracted a surge of interest in English language teaching. In second language (L2) professional development, the common orthodoxy has been one which considers teachers as that of knowledge consumers. It is commonly argued that top-down approaches to teachers’ professional development has done little to maximize teachers’ professionali...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005